Leslie Lamport

Leslie Lamport
	;
Biografia
Naixement	7 febrer 1941 (83 anys); Nova York
Formació	Institut de Tecnologia de Massachusetts - matemàtiques ; Universitat de Brandeis - matemàtiques ; Bronx High School of Science
Director de tesi	Richard Palais
Activitat
Camp de treball	Ciències de la computació i aplicació distribuïda
Ocupació	matemàtic, enginyer, programador, informàtic, escriptor
Ocupador	Microsoft Research (mul) (2001–) ; Digital Equipment Corporation (1985–2001) ; SRI International (1977–1985) ; MITRE Corporation (1962–1965)
Membre de	Association for Computing Machinery (membre de l'Association for Computing Machinery) (2015–); Acadèmia Nacional de Ciències dels Estats Units (2011–); Acadèmia Americana de les Arts i les Ciències
Obra
Obres destacables	Obres destacables aplicació distribuïda; temporal logic of actions (en) ; Paxos (en) ; (dècada del 1980) LaTeX; (1999) TLA+ ;
Premis
	(2014) Premi Dijkstra; (2014) membre de l'Association for Computing Machinery; (2013) Premi Turing; (2008) Medalla de John von Neumann de l'IEEE; (2007, 2006) doctor honoris causa Conferit per Universitat Nancy-I, Universitat de la Suïssa Italiana; (2005) Premi Dijkstra; (2004) Premi Emanuel R. Piore de l'IEEE; (2004) doctor honoris causa per l'École Polytechnique Fédérale de Lausanne; (2003) doctor honoris causa per la Universitat de Rennes 1; (2003) doctor honoris causa per la Universitat de Kiel; (2000) Premi Dijkstra; doctor honoris causa per l'École Polytechnique Fédérale de Lausanne ;
Lloc web	lamport.org

Leslie Lamport (Nova York, 1941) és un informàtic i matemàtic estatunidenc. És especialment conegut per haver creat el sistema LaTeX.

Lamport estudià matemàtiques al MIT i a la universitat de Brandeis. Dins del camp de la informàtica és reconegut pel seu treball en algorítmica distribuïda i en lògica temporal, on introduí la Lògica d'Accions Temporal (Temporal Logic of Actions, TLA). També formulà la relació "ha passat abans" (happened before), important en rellotges lògics en sistemes distribuïts, ja que permet obtenir una ordenació parcial.^[1]^[2]^[3]

Referències

↑ Lamport, L. «Time, clocks, and the ordering of events in a distributed system». Communications of the ACM , 21, 7, 1978, pàg. 558–565. DOI: 10.1145/359545.359563.
↑ Savage, N. «General agreement: Leslie Lamport contributed to the theory and practice of building distributed computing systems that work as intended». Communications of the ACM, 57, 6, 2014, pàg. 22. DOI: 10.1145/2601076.
↑ Hoffmann, L. «Q&A Divide and Conquer: Leslie Lamport on Byzantine generals, clocks, and other tools for reasoning about concurrent systems». Communications of the ACM, 57, 6, 2014, pàg. 112. DOI: 10.1145/2601077.

Enllaços externs

A Wikimedia Commons hi ha contingut multimèdia relatiu a: Leslie Lamport

Leslie Lamport - Lloc web oficial

[timeclocks-1] Lamport, L. «Time, clocks, and the ordering of events in a distributed system». Communications of the ACM , 21, 7, 1978, pàg. 558–565. DOI: 10.1145/359545.359563.

[2] Savage, N. «General agreement: Leslie Lamport contributed to the theory and practice of building distributed computing systems that work as intended». Communications of the ACM, 57, 6, 2014, pàg. 22. DOI: 10.1145/2601076.

[3] Hoffmann, L. «Q&A Divide and Conquer: Leslie Lamport on Byzantine generals, clocks, and other tools for reasoning about concurrent systems». Communications of the ACM, 57, 6, 2014, pàg. 112. DOI: 10.1145/2601077.

[1]

[2]

[3]

Registres d'autoritat	WorldCat BNF (1) GND (1) LCCN (1) VIAF (1) ISNI (1) SUDOC (1) BIBSYS (1) NDL (1) ICCU (1)
Bases d'informació	MGP (1)